Recommended versus Certified Repositories: Mind the Gap

Mind the Gap! Abstract Versus Concrete Models of Specifications

In the theory of algebraic specifications, many-sorted algebras are used to model programs: the representation of data is arbitrary and operations are modelled as ordinary functions. The theory that underlies the formal development of programs from specifications takes advantage of the many useful properties that these models enjoy. The models that underlie the semantics of programming language...

“Mind the Gap” in Reporting the Outdated Statistics

Mind the (Intelligibility) Gap

Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules and inter-module dependencies. Subsequently, we discuss how we can handle the evolution of modules and dependencies. This work can be exploited for building advanced preservation information systems and registries.

Mind the Gap!

In 1835, the French naturalist Felix Dujardin started crushing ciliates under the microscope and observed that the tiny cells exuded a jellylike, water-insoluble substance, which he described as a ‘‘gelée vivante’’ and which was eventually christened ‘‘protoplasm’’ by the physician Johann E. Purkinje and the botanist Hugo von Mohl. Fifty years after Dujardin’s observations, the possibility that...

Mind the Gap

Intraband-gap states in conjugated polymers have captivated the chemistry community for the better part of five decades due to their position within the forbidden band gap, between the valence and conduction bands. In a large part, this fascination was (and still is) aided by the quest to find alternative materials that are easily processable compared to their solid-state semiconductor counterp...